#include "..\Modulos\Evaluacion\eval.h"

int main(){
Tipo_Evaluacion tipoEvaluacion;

    printf("***************************************\n");
    printf("*       PRUEBA MODULO EVALUACION      *\n");
    printf("***************************************\n");


    printf("\n\n\nSe desplegara automaticamente una variable de Tipo_Evaluacion con sus 3 valores posibles... ");
    printf("\n\n\nEvaluacion 1: ");
    tipoEvaluacion=tautologia;
    desplegaTipoEvaluacion(tipoEvaluacion);
    printf("\nEvaluacion 2: ");
    tipoEvaluacion=contradiccion;
    desplegaTipoEvaluacion(tipoEvaluacion);
    printf("\nEvaluacion 3: ");
    tipoEvaluacion=contingencia;
    desplegaTipoEvaluacion(tipoEvaluacion);


    printf("\n\n\n\n\n\n\n\n\n\n\n\n");


    return 0;
}
